首页> 外文OA文献 >Analyzing Tabular Requirements Specifications Using Infinite State Model Checking

【2h】

Analyzing Tabular Requirements Specifications Using Infinite State Model Checking

机译：使用无限状态模型检查分析表格要求规范

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Tevfik Bultan;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems [J] . Tevfik Bultan, Constance Heitmeyer Design automation for embedded systems . 2008,第1a2期

机译：将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
2. Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems [J] . Tevfik Bultan, Constance Heitmeyer Design Automation for Embedded Systems . 2008,第1a2期

机译：将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
3. Deriving tabular event-based specifications from goal-oriented requirements models [J] . Renaud De Landtsheer, Emmanuel Letier, Axel van Lamsweerde Requirements Engineering . 2004,第2期

机译：从面向目标的需求模型派生基于表格的基于事件的规范
4. Analyzing tabular requirements specifications using infinite state model checking [C] . Bultan T., Heitmeyer C. ACM/IEEE International Conference on Formal Methods and Models for Co-Design . 2006

机译：使用无限状态模型检查分析表格要求规格
5. The design of a job specification model for hospitality management educators: Using the Delphi method to analyze competency requirements. [D] . Avgoustis, Sotiris H. 1996

机译：款待管理教育者的工作规范模型的设计：使用Delphi方法分析能力要求。
6. Model Checking Techniques for Assessing Functional Form Specifications in Censored Linear Regression Models [O] . Larry F. León, Tianxi Cai -1

机译：模型检测技术在截尾线性回归模型评估函数形式规格
7. Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems [O] . Tevfik Bultan, Constance Heitmeyer 2010

机译：将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
8. Analyzing Tabular Requirements Specifications Using Infinite State Model Checking [R] . Bultan, T. , Heitmeyer, C. 2006

机译：使用无限状态模型检查分析表格要求规范

Analyzing Tabular Requirements Specifications Using Infinite State Model Checking

著录项

引文网络

相似文献

相关主题

期刊订阅